-
1 contraction rule
-
2 contraction
См. также в других словарях:
contraction rule — noun : a patternmaker s rule in which the divisions are made larger ( 1/96 for iron, 1/64 for brass) than standard measures to allow for contraction during cooling of the metal being cast … Useful english dictionary
Contraction and Convergence — (C C) is a proposed global framework for reducing greenhouse gas emissions to combat climate change. Conceived by the Global Commons Institute [GCI] in the early 1990s, the Contraction and Convergence strategy consists of reducing overall… … Wikipedia
Contraction — may refer to: In physiology: Muscle contraction, one that occurs when a muscle fiber lengthens or shortens Uterine contraction, contraction of the uterus, such as during childbirth Contraction, a stage in wound healing In linguistics: Synalepha,… … Wikipedia
Contraction (grammar) — This article is about contraction in the grammar of modern languages, which involves elision. For contraction in Ancient Greek, the coalescence of two vowels into one, see crasis. For the linguistic function of pronouncing vowels together, see… … Wikipedia
shrinkage rule — noun or shrink rule : contraction rule … Useful english dictionary
Structural rule — In proof theory, a structural rule is an inference rule that does not refer to any logical connective, but instead operates on the judgements or sequents directly. Structural rules often mimic intended meta theoretic properties of the logic.… … Wikipedia
Naegele's rule — is a standard way of calculating the due date for a pregnancy. The rule estimates the expected date of delivery (EDD) by adding one year, subtracting three months, and adding seven days to the first day of a woman s last menstrual period (LMP).… … Wikipedia
Geometric algebra — In mathematical physics, a geometric algebra is a multilinear algebra described technically as a Clifford algebra over a real vector space equipped with a non degenerate quadratic form. Informally, a geometric algebra is a Clifford algebra that… … Wikipedia
Ruler — For other uses, see Ruler (disambiguation). A variety of rulers A 2 meter … Wikipedia
Casting (metalworking) — Casting iron in a sand mold In metalworking, casting involves pouring liquid metal into a mold, which contains a hollow cavity of the desired shape, and then allowing it to cool and solidify. The solidified part is also known as a casting, which… … Wikipedia
Cut-elimination theorem — The cut elimination theorem (or Gentzen s Hauptsatz) is the central result establishing the significance of the sequent calculus. It was originally proved by Gerhard Gentzen 1934 in his landmark paper Investigations in Logical Deduction for the… … Wikipedia
